Event Propagation Conditions in Timing Analysis
نویسندگان
چکیده
We present a systematic study of signal propagation conditions (PCs) starting from a general waveform model. We develop a number of specific waveform models based on how closely they match actual signal behavior, and show that they form a well-defined hierarchy. For each model, we derive PCs based on fundamental cause-and-effect behavior. We then construct a lattice of all known PCs that reveals the relationships among them. This lattice also enables us to derive some new and potentially useful PCs. Experimental results are presented to evaluate the accuracy of the proposed PCs.
منابع مشابه
Timing-Logic Derating Computation Using Event Propagation Probabilities
Timing derating is one of the key factors to compute the soft error rate of a sequential circuit. We present a very fast and accurate approach based on enhanced static timing analysis and signal probability to estimate the probability of latching an incorrect value in the system bistables (timing derating). Experimental results and comparison with Monte-Carlo simulations show that the accuracy ...
متن کاملRobust Diagnosis of Switching Systems
This paper presents an approach for robust diagnosis of switching systems based on an extended version of the timed failure propagation graph model. The extended failure propagation graph model is a labeled graph used for the representation of failure conditions and their propagation modeled as causal relations with timing properties for a general class of systems with both timebased and event-...
متن کاملPropagation of Crack in Linear Elastic Materials with Considering Crack Path Correction Factor
Modeling of crack propagation by a finite element method under mixed mode conditions is of prime importance in the fracture mechanics. This article describes an application of finite element method to the analysis of mixed mode crack growth in linear elastic fracture mechanics. Crack - growth process is simulated by an incremental crack-extension analysis based on the maximum principal stress c...
متن کاملInterface Timing Veri cation with Combined Max and Linear Constraints
A fundamental timing analysis problem in the veri cation and synthesis of interface logic circuitry is the determination of the possible and allowable time separations, or skews between interface events, given timing constraints and propagation delays between the events generated by the circuits the interface connects. These skews are used to verify timing properties and determine allowable pro...
متن کاملFree vibration and buckling analysis of third-order shear deformation plate theory using exact wave propagation approach
In this paper, wave propagation approach is used to analysis the free vibration and buckling analysis of the thick rectangular plates based on higher order shear deformation plate theory. From wave viewpoint, vibrations can be considered as traveling waves along structures. Waves propagate in a waveguide and reflect at the boundaries. It is assumed that the plate has two opposite edge simply su...
متن کامل